Skip to content

fix(libra):add new/old file path in libra diff output#1126

Merged
genedna merged 1 commit into
gitmono-dev:mainfrom
benjamin-747:main
Jun 16, 2025
Merged

fix(libra):add new/old file path in libra diff output#1126
genedna merged 1 commit into
gitmono-dev:mainfrom
benjamin-747:main

Conversation

@benjamin-747

Copy link
Copy Markdown
Collaborator

No description provided.

@vercel

vercel Bot commented Jun 16, 2025

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
mega ✅ Ready (Inspect) Visit Preview 💬 Add feedback Jun 16, 2025 0:36am

@benjamin-747
benjamin-747 requested a review from genedna June 16, 2025 12:36
@benjamin-747 benjamin-747 self-assigned this Jun 16, 2025
@benjamin-747 benjamin-747 added rust Pull requests that update Rust code ui libra labels Jun 16, 2025
@genedna
genedna requested a review from Copilot June 16, 2025 12:36

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR addresses two issues: updating type information in generated types for Libra and improving the file path output in the diff command.

  • Change user_id type in generated type from a number with an int64 format annotation to a string.
  • Refine the diff output in the Libra command to correctly distinguish between new, removed, and updated files.

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
moon/packages/types/generated.ts Change of user_id type from number to string, removing the int64 comment.
libra/src/command/diff.rs Added logic to correctly display file paths for new, removed, and updated files.
Comments suppressed due to low confidence (1)

moon/packages/types/generated.ts:3236

  • Verify that changing the type of user_id from number to string is intentional, and update the corresponding documentation or comments to reflect this change if needed.
user_id: string

@genedna
genedna enabled auto-merge June 16, 2025 13:35
@genedna
genedna added this pull request to the merge queue Jun 16, 2025
Merged via the queue into gitmono-dev:main with commit 51aa356 Jun 16, 2025
14 checks passed
@benjamin-747

Copy link
Copy Markdown
Collaborator Author

link #1106

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

libra rust Pull requests that update Rust code ui

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants